Bernd Krieg-BrücknerAlgebraic System Specification and DevelopmentSurvey and Annotated Bibliography 2nd Edition, 1997 | |
ISBN: | 978-3-8265-4067-7 |
Reeks: | BISS Monographs Uitgever: Prof. Dr. Bernd Krieg-Brückner Bremen |
Volume: | 3 |
Trefwoorden: | Informatik; Sichere Systeme; Formale Spezifikation; Programmentwicklung |
Soort publicatie: | Fachpublikation |
Taal: | Engels |
Pagina's: | 242 pagina's |
Gewicht: | 360 g |
Formaat: | 20,5 x 14,5 cm |
Bindung: | Softcover |
Prijs: | 49,00 € / 98,00 SFr |
Verschijningsdatum: | Augustus 1998 |
Kopen: | |
Aanbevelen: | Wilt u dit boek aanbevelen? |
Recensie-exemplaar | Bestelling van een recensie-exemplaar. |
Verlinking | Wilt u een link hebben van uw publicatie met onze online catalogus? Klik hier. |